AlienMath - IrisCTF 2023